<?php
/**
 * Created by PhpStorm.
 * User: YUWENXUAN
 * Date: 2017/4/5
 * Time: 17:53
 */

$a = function (){
    return 'Hello world';
};
echo $a();
function a(){

};

//var_dump(get_defined_functions());
